Rnone $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inl $\cdot$